航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

多点压力扫描阀测量系统在激波／湍流边界层干扰实验中的应用

多点压力测量是航空气动力研究及高性能流体机械研究中的重要测试手段。利用计算机和多点压力扫描阀系统，可以高效地完成这项任务，并可能在实验中实现数据采集及整个实验过程的自动化。我们利用ＨＰ１０００／Ａ７００计算机－ＨＰ２２５０－测控装置－压力传感器－高速扫描阀组成的测量控制系统，在超音速风洞内对激波／湍流边界层干扰产生的流场进行了快速多点压力数据采集，并取得了可靠的结果。本文对测试和校正过程中的程序设计、测试方法和应用经验进行了介绍。     

基于DRFM的引信干扰技术研究

根据脉冲测距引信的工作原理和DRFM的基本功能,设计了DRFM结构,DRFM通过对脉冲延时,达到对脉冲测距引信进行干扰使其早炸的目的,并提出了延时参数的确定原则。     

卫星VLBI观测时延和相位条纹旋转模型研究

空间卫星在绕地球或月球等星体运行时，为了跟踪和控制卫星就要时刻掌握其在空间的位置和运动状态．但由于地球的自转和公转使得卫星和地球之间的相对运动描述关系变得复杂，目标卫星相对地球任意两个观测站的时间差(时延)和多普勒频移(相关条纹旋转)时刻都在改变．VLBI相关处理机是卫星观测和空间探测极为重要的技术手段，其原理以FX和XF两种相关模型处理观测数据．以FX相关模型为基础修正VLBI观测数据的时延补偿和相关条纹旋转的模型，提出对称“1／n Multiplier”时延补偿模型和条纹旋转模型，并且对实际观测数据进行操作和详细分析，对相关相位谱的剩余时延变化趋势和方差分布进行分析，从中找出优选时延补偿和条纹旋转模型．对于精确描述卫星轨道运动状态提供更准确的方法．     

利用CAD工程图自动生成数控加工程序

本文介绍了利用工程图自动生成孔加工程序的方法。既可以自动选择图中不同尺寸的孔,又可以避免同一坐标位置多个同尺寸的圆的问题。同时又克服了手工编程容易出现错误的问题。也避免了其他自动编程软件需要在图上选择要加工的孔困难。     

A Novel Onboard-gateway-based Mechanism to Improve TCP Performance in Aeronautical Satellite Networks

The IP-based networks on aircraft serve to support Internet services via satellites. However, in aeronautical satellite hybrid net- works,the TCP protocol performance often deteriorates due to improper decreases and slow recovery of the congestion window. This paper proposes a window size determination and notification mechanism, onboard-gateway-based mechanism (OGBM), which is based on the onboard gateway in the networks on aircraft. A cross-layer approach is adopted by the onboard gateway to obtain the satellite link bandwidth information. And then, by the gateway, through changing the receiver’s advertised window field in ACK packets, TCP sources are notified of the window size of each TCP source calculated on the ground of bandwidth delay product and flow numbers. The mechanism is able to avoid improper changes of TCP window and serve multiple users. Simulation results show that the mechanism with the fairness index close to 1 improves TCP performance in aeronautical satellite networks.     

大型内螺纹的数控铣削加工

介绍大型精密内螺纹旋风铣削加工的工艺方法和编程,主要针对螺纹直径为非标准、工件材质过硬且孔数较多的大型精密内螺纹的加工。实践表明,该方法加工效率高,且可严格控制螺纹的精度。     

紧凑热交换器优化设计

对各种传热表面的板翅式紧凑热交换器进行了优化设计计算，建立了通用优化程序系统。此程序既适用于一般地面热交换器，也适用于飞机空调中的热交换器。与传统的设计计算相比较，优化设计的效果很好。热交换优化后，肋片的形状变得更加合理，芯体传热表面更加紧。通过各种肋片的计算得出，条状肋片为板翅式肋片中的最佳者。     

外挂物、副翼操纵刚度对机翼颤振特性的影响

本文采用气动弹性模型试验的方法,研究了外挂物重量、悬挂位置和不同的副翼操纵系统刚度对机翼低速颤振特性的影响。气动弹性模型是严格地按相似律的要求进行设计的,由于机翼是对称的,故仅设计了半机翼。而试验既进行了地面振动试验,也进行了风洞试验。文中对试验结果进行了分析。最后,提出两点意见供飞机防颤振设计人员参考:1.副翼的旋转运动是发生主翼面-副翼耦合颤振的主要影响因素,故与操纵系统刚度密切相关的副翼旋转频率值对机翼防颤振设计极为重要。2.机翼携带翼下外挂物,使机翼临界颤振速度明显下降;在设计状态下,外挂物位于机翼内侧的状态与位于外侧的状态相比,机翼临界颤振速度降低更显著。